verification model meaning in Chinese
核证模型
Examples
- The single verification model based on the cookie bill and its implementation
票据的单一认证模型及实现 - Under the instructing of this method , it ’ s much easier to build verification model , and can make sure the design model and verification model is consistent
本文提出了一套系统方法,采用这种方法能够快速地建立验证模型,并且能够保证验证模型和设计模型之间的等价性。 - The difficulty of this method is that the workload is heavy , and it ’ s hard to ensure the consistency of design model and verification model . we raise a method to instruct these works
这种模型建立方法的主要难点在于验证模型与设计模型之间差异较大,需要做的修改工作过多,并且难于保证两种模型之间的等价性。 - The characteristic of mpeg - 4 accelerates the development of multimedia . the paper introduces the study background and necessity of mpeg - 4 for one thing . then its system standard is described and the key technique of video encoder in the verification models is analyzed
本文首先介绍了mpeg - 4的研究背景和研究的必要性，之后简单的概述了mpeg - 4的系统标准，详细分析了校验模型中的视频编码，对mpeg - 4的标准有了大概的了解。 - In this approach , a global strategy of bottleneck reasoning based on the hypothesis - verification model is adopted , in which reusable data representation with high efficiency in data synthesis and interactive guidance from users are applied to improve such reasoning
该方法采用了基于假设验证模型的瓶颈搜索全局策略、数据复用搜索加速方法以及用户交互式的搜索制导等技术， ?应用这种性能分析方法改进了一个已有的?行程序事后性能分析系统。